| 1. | Strategic significance for secure operating system
安全操作系统的战略意义 |
| 2. | Provably - secured operating system
证明安全的操作系统 |
| 3. | A dedicated secure operating system
专用安全操作系统 |
| 4. | Inter serverblock communication and its security in serverblock based secure operating system
基于服务体模型的安全操作系统中的通信与安全控制 |
| 5. | We also describe the implementation of osrbac model in red flag secure operating system ( rfsos )
我们在红旗安全操作系统( rfsos )中实现了osrbac模型。 |
| 6. | Developing the linux - based secure operating system is mainly to enhance the linux operating system security
基于linux开发安全操作系统，主要是对linux的安全性进行增强。 |
| 7. | Nowadays , a lot of secure operating systems have auditing function , and there ' re many individual auditing systems
目前，许多安全操作系统中都包含审计部分，也有专门的审计系统。 |
| 8. | Nowadays , network security problems getting worse and worse , the demand for secure operating system is in impendence
在网络安全问题日益严重的今天，对安全操作系统的需求非常迫切。 |
| 9. | By doing so , some beneficial contributions are made toward the formal verification of high level secure operating systems
从而对高安全级别操作系统的形式化验证进行了一些有益的探索。 |
| 10. | The need for secure operating systems is growing when the problems in network security are becoming more and more severe
在网络安全问题日益严重的今天，对安全操作系统的需求非常迫切。 |
